LH error

 /Users/JordanBrown/research/conference-management-system/Handler/Home.hs:115:14-39: Error: Liquid Type Mismatch

 115 | liftM f x =  x >>= \x' -> return (f x')
                    ^^^^^^^^^^^^^^^^^^^^^^^^^^

   Inferred type
     VV : a

   not a subtype of Required type
     VV : {VV : a | papp2 f VV ?a}

   In Context
     x : (HandlerT App IO a)

     f : (Pred a b)

     ?a : {VV : a | VV == content x}