add composable module to spec helper.
add some level of confidence that our functor is a real functor.
inline identity proof.
Merge pull request #9 from unsymbol/feature/prove-maybe-is-a-functor

Prove Maybe is a Functor

closes https://github.com/unsymbol/ribimaybe/issues/8