__export ShouldCompile p;
1 p :: __forall [a] => a -> a ;