Functional: Allow 2 arguments or more in compose
List: add error message to static_assert in concat
Record: Fix ordering issues by using a list of pairs instead of a map
Remove empty laws; I'll add them if I actually have laws to check
Write a sweet README
Remove almost all dependencies on the standard library.