Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T9017.hs
1 {-# LANGUAGE PolyKinds #-}
2
3 module T9017 where
4
5 import Control.Arrow
6
7 foo :: a b (m b)
8 foo = arr return