[Fieldtrip] Cabal installation error

[Guenther Schmidt]

Hi all,

I'm also having the same error as Kellen.

Occurs check: cannot construct the infinite type: s = s -> t
    When generalising the type(s) for `torus'

Günther