remove monoid contraint on foldable, update traversable comp law w/o Compose
Merge branch 'master' of github.com:DrBoolean/fantasy-land