type Monad of (* :-> *) :-> Constraint =
{ m =>
	let bind of (a :-> m b) :-> m a :-> m b = abstract
}