-- class HasMono t where
--   mono :: Simple Lens t Mono
-- instance HasMono Mono where
--   mono = id

checkMono :: HasMono t a => Lens' t (Mono a)
checkMono = mono
checkMono :: HasMono t a => Lens' t (Mono a)
checkMono = mono
checkMono = mono