1 2 3 4 5 6 7
<interactive>:7:9: Couldn't match type `T' with `main::Interactive.T' Expected type: T' Actual type: T In the expression: C :: T' In an equation for `c': c = C :: T'