-tcfail062.hs:33:
- Type variable not in scope: `behaviouralExpression'
-
-tcfail062.hs:33:
- Type variable not in scope: `behaviouralExpression'
-
-Compilation had errors
-
+tcfail062.hs:37:
+ Illegal polymorphic type as argument: BehaviouralRelation
+ In the type synonym declaration for `BehaviouralRelationList'