In a pattern binding, a type sig in the pattern cannot bind a type variable
[ghc-hetmet.git] / bindisttest / expected_output
1 Hello world!