Starting to look upon free monads.