Safe Haskell | Safe |
---|
Testing some pattern synonyms
Synopsis
- data FooType x = FooCtor x
- pattern Foo :: forall x. x -> FooType x
- pattern Bar :: forall x. x -> FooType (FooType x)
- pattern (:<->) :: forall x x1. x -> x1 -> (FooType x, FooType (FooType x1))
- data BlubType = forall x.Show x => BlubCtor x
- pattern Blub :: () => forall x. Show x => x -> BlubType
- data (a :: *) >< b = Empty
- pattern E :: forall k a (b :: k). a >< b
- pattern PatWithExplicitSig :: Eq somex => somex -> FooType somex