Int -> Int -> Int ... 식으로

무한히 커리잉되는

type A = Int -> A

타입.

뉴타입으로 감싸야하고

의미를 지니게 하기 위해

사실상 자바의 객체 같은게 되어버렸지만..


add <**> Just 100 <**> Just 150 <**> Nothing
하면

250 반환되게