type X = Int -> Flerb(Int)