-- instance Class Int where
--   data Associated Int = AssociatedInt Double
--   method = id

checkMochi :: Iso' (Associated Int) Double
checkMochi = mochi
checkMochi :: Iso' (Associated Int) Double
checkMochi = mochi
checkMochi = mochi