"Haskell doesn???t have a ???type classifier??? like Coq does, but we can still define a ???function from types to types??? by defining a ???type that depends on a type variable??? ??? this is how you do a monad." . . . .