test `asTypeOf` (undefined :: a -> b) :: Int -> Int
\x -> test x :: Int -> Int