A few days ago I was trying to prove monad laws by creating a new monad instance but I found myself stuck at defining the new monad instance.
newtype Test a =
