| 1 | instance (Lift a) => Lift (Maybe a) where |
|---|
| 2 | lift Nothing = [| Prelude.Nothing |] |
|---|
| 3 | lift (Just a) = [| Prelude.Just $(lift a) |] |
|---|
| 4 | |
|---|
| 5 | instance (Lift a, Lift b) => Lift (Either a b) where |
|---|
| 6 | lift (Left a) = [| Prelude.Left $(lift a) |] |
|---|
| 7 | lift (Right b) = [| Prelude.Right $(lift b) |] |
|---|
