{-# LANGUAGE LambdaCase #-} suggestHomomorphicLC :: Either a b -> Either a b suggestHomomorphicLC = _ suggestLC :: Either a b -> Int suggestLC = _