Spec for Free Monad
Documentation