idris2

-module('Idris.Idris2.Control.Monad.Trans').
-compile('no_auto_import').
-compile('inline').
-compile({'inline_size',24}).
-export([
  'un--lift'/6
]).
'un--lift'(V0, V1, V2, V3, V4, V5) -> ((((V4('erased'))('erased'))(V3))(V5)).