{-# LANGUAGE NoImplicitPrelude #-}

-- safe inferred, with no pkg trust reqs
module Check07_A where

a :: a -> a
a n = n