16 Oct
2013
16 Oct
'13
7:25 p.m.
On Wed, Oct 16, 2013 at 5:32 PM, Dan Burton
My "solution" is a lot less interesting
lift1 = lift lift2 = lift . lift1 lift3 = lift . lift2 lift4 = lift . lift3 lift5 = lift . lift4
Hi, The number of lifts can be decided if you have a class, and use it in such a way that the argument and result types are known. It's more involved to add a type-level Nat that keeps count. Both options are done here: https://gist.github.com/aavogt/7016708 -- Adam