AssocTyDef04.hs:6:18:
    Expecting one more argument to ‘Maybe’
    Expected a type, but ‘Maybe’ has kind ‘* -> *’
    In the type ‘Maybe’
    In the default type instance declaration for ‘Typ’
    In the class declaration for ‘Cls’