T13947.hs:4:16: error:
    Not in scope: type constructor or class ‘:~:’