On Sat, Jul 31, 2010 at 10:56:31PM +1000, Tony Morris wrote:
-- Suppose some data type
newtype Inter a = Inter (Int -> a)
-- and a monad transformer for that data type.
newtype InterT m a = InterT (m (Inter a))
The monad transformer should be Inter (m a).
