Function concreteLawsFor

Get the typeclass laws for the given typeclass name.