Raise error if match element receives no block
Implement naive find
Fix foldr
Improve spec readability
Reverse List[] order to be eq Haskell
Fix spec
Add memoised List.empty
Implement Result#+