1 2 3 4 5 6 7 8 9
class Foo a where foo :: a -> a {-# MINIMAL foo #-} data T = A.T mkT :: T x :: Bool Trust type is (Module: Safe, Package: trusted) Package Trust: Off B is trusted!