Fix HKT, Tuple and infix rendering in TypePrinter

[matejcerny]

follow up on #102

HKT

• previously def compose[G >: TypeLambda <: TypeLambda](evidence$1: Applicative[G]): Applicative[TypeLambda]
• now def compose[G[_]](implicit evidence$1: Applicative[G]): Applicative[[α] =>> F[G[α]]]

Functions

• previously p: Function1[A, Boolean]
• now p: A => Boolean

Tuples

• previously Tuple2[F[Boolean], F[A]]
• now (F[Boolean], F[A])

Infix notation

• previously def mapK[G[_]](f: ~>[F, G])(implicit G: MonadCancel[G, ? >: Nothing <: Any]): Semaphore[G]
• now def mapK[G[_]](f: F ~> G)(implicit G: MonadCancel[G, ?]): Semaphore[G]

[Fristi]

Would be great to get this in!

[rochala]

Tomorrow, I promise. Sorry for the delay I'm just extra busy this time

[rochala]

If we want to align Scala AST pretty print with what the actual source code looks like we should basically port TypePrinter from Scala3 / Scala2 itself. Just an idea dropped here

[matejcerny]

If we want to align Scala AST pretty print with what the actual source code looks like we should basically port TypePrinter from Scala3 / Scala2 itself. Just an idea dropped here

Good idea, thank you!