Alice Rixte
Alice Rixte
> Rather than lifted operators, it actually seems better to export unlifted operators `(++) :: [a] -> [a] -> [a]`. Both allow writing infix expressions similar to the value level,...
> If you have `(+) :: Nat -> Nat -> **Exp** Nat`, you write `1 + 2`. > > If you have `(+) :: Exp Nat -> Exp Nat ->...
I'm also wondering : it looks like libraries like the lilypond bindings are no longer independant from music-suite. However I'd be really interested in using it independently (along with other...
@BebeSparkelSparkel , @Lysxia Why not simply use a type synonym ? ``` haskell type (^++^) = LiftM2 (++) ```