T4875.hs:27:24: error:
    ‘r’ is applied to too many type arguments
    In the type signature: multiplicities :: r c -> [c]
    In the class declaration for ‘Morphic’