{"body":"class Into (m :: * -> *) where\n  type IntoType (m :: * -> *) (a :: *) :: *\n  type IntoType m a = m a\n  liftInto0 :: ( y -> IntoType m a                                  ) -> y -> m a\n  liftInto1 :: ( y -> IntoType m a -> IntoType m  b                 ) -> y -> m a -> m b\n  liftInto2 :: ( y -> IntoType m a -> IntoType m  b -> IntoType m c ) -> y -> m a -> m b -> m c\n  default liftInto0 :: (Into m) => (y -> IntoType m a ) -> y -> m a\n  liftInto0 f y = f y\n  default liftInto1 :: (Into m) => (y -> IntoType m a -> IntoType m b) -> y -> m a -> m b\n  liftInto1 f y a = f y a\n  default liftInto2 :: (Into m) => (y -> IntoType m a -> IntoType m b -> IntoType m c) -> y -> m a -> m b -> m c\n  liftInto2 f y a b = f y a b","name":"","extension":"txt","url":"https://www.irccloud.com/pastebin/OuX1GiPO","modified":1661723769,"id":"OuX1GiPO","size":716,"lines":12,"own_paste":false,"theme":"","date":1661723769}