{-# LANGUAGE NoImplicitPrelude #-}

-- safe infered, with no pkg trust reqs
module Check08_A where

a :: a -> a
a n = n