union Num

def id

def succ

def pred

def flip

def const

def uncurry

def curry

def null

def empty

def not

def max

def min

def head

def tail