Error found: in module BifunctorInstance1 at tests/purs/failing/BifunctorInstance1.purs:10:1 - 10:31 (line 10, column 1 - line 10, column 31) One or more type variables are in positions that prevent Bifunctor from being derived. To derive this class, make sure that these variables are only used as the final arguments to type constructors, that their variance matches the variance of Bifunctor, and that those type constructors themselves have instances of Data.Functor.Functor, Data.Bifunctor.Bifunctor, Data.Functor.Contravariant.Contravariant, or Data.Profunctor.Profunctor. tests/purs/failing/BifunctorInstance1.purs:  8   9 data Test a b = Test (Tuple (Predicate a) (Predicate b)) (Tuple a b)  10 derive instance Bifunctor Test See https://github.com/purescript/documentation/blob/master/errors/CannotDeriveInvalidConstructorArg.md for more information, or to contribute content related to this error.