def sayHi[F: BlueSky, A: Greetable: Placeable](msg:A): F[Unit] = BlueSky[F].post(s"${Greetable[A].greet(msg)} ${Placeable[A].locate(msg)}")