Citations relating to type class constraints in monads