suitable

Abstract over the constraints on the parameters to type constructors.

This library provides a general purpose typeclass, 'Suitable f a', which expresses that values of type 'f a' are legal or "make sense".