Package fj

Types that set the premise for the existence of Functional Java.