Annotations.MultiRec.ErrorAlg

type family ErrorAlg f e a :: *

type ErrorAlg_PF f e a

class MkErrorAlg f

errorCata

(&)