module Blank () where {-@ foo :: forall < p :: Int -> Prop , q :: Int -> Prop >. Int
-> Int
@-} foo :: Int -> Int foo x = x