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