A well behaved functional library