Monocle joins typelevel