Enumerate.Function.Types

data Jectivity

type Partial a b

type a -?> b