Currently Trampoline is defined in terms of Lazy which is memoized. Because of this Trampoline is also memoized. But there could also exist non memoized definition for Trampoline using just ((->) Unit) (Currently -> is not MonadRec, but will become once purescript/purescript-tailrec#18 is merged). This implementation might be more efficient as it has no extra Lazy wrapper and memoization.

We have two options:

1. use -> instead of Lazy in Trampoline
2. define new Trampoline in terms of ->