Annotations.MultiRec.ErrorAlg

type family ErrorAlg (f :: (* -> *) -> * -> *) e a :: *

type ErrorAlg_PF f e a

class MkErrorAlg f

errorCata

(&)