1 2 3 4 5 6 7 8 9
{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE NoImplicitPrelude #-} -- safe inferred, with no pkg trust reqs module Check08_A where a :: a -> a a n = n