testsuite/tests/module/T11432a.hs


1
2
3
4
5
6
7
8
9
10
11

{-
We expect to get a suggestion to add 'type' keyword
and enable TypeOperators extension.
-}

{-# LANGUAGE TypeOperators #-}
module T11432a ((-.->)()) where

newtype (f -.-> g) a = Fn { apFn :: f a -> g a }

(-.->) = id