T4875.hs:27:24: error:
    • Expected kind ‘* -> *’, but ‘r’ has kind ‘*’
    • In the type signature: multiplicities :: r c -> [c]
      In the class declaration for ‘Morphic’