module T7145a ( Applicative(pure) ) where