packages feed

haskell-tools-builtin-refactorings-1.0.1.1: test/ExtensionOrganizerTest/KindSignaturesTest/InForAll.hs

{-# LANGUAGE KindSignatures, ExplicitForAll #-}

module InForAll where

f :: forall (a :: *) . a -> a {-* KindSignatures, ExplicitForAll *-}
f = id