1foo :: a -> (a, a)
2foo a = (a, a)
3