fact: Axiom coyo_parametricity : forall `{FunctorLaws f} a b (g : a -> b), COYO g = COYO id \o fmap g.
imports: Hask.Prelude Hask.Ltac Hask.Data.Functor.Identity Hask.Data.Functor.Kan Hask.Control.Monad FunctionalExtensionality FunctionalExtensionality