>>106331660
>foo :: (a: type, b: type) -> type