class Apply arr f

class Dist t

class FoldRec r a

data (f (~>) g) x