foo :: forall v[-2] . Result v[-2] = Int, Eval v[-2] => v[-2] -> Int
main :: Int
42