packages: free-monads