tcfail062.hs:34:6:
    Not in scope: type variable ‘behaviouralExpression’
    Perhaps you meant type constructor or class ‘BehaviouralExpression’ (line 25)

tcfail062.hs:34:29:
    Not in scope: type variable ‘behaviouralExpression’
    Perhaps you meant type constructor or class ‘BehaviouralExpression’ (line 25)