tcfail062.hs:37:
    Illegal polymorphic type as argument: BehaviouralRelation
    In the type synonym declaration for `BehaviouralRelationList'