MethodsmergeSize :: Lattice (Size a) => Info (m a) -> Size (m a) -> Size (m a) -> Size (m a)SourceInstancesLatticeSize1 Mut viewLiteral :: forall info dom a. (Literal :|| Type) :<: dom => ASTF (Decor info (dom :|| Typeable)) a -> Maybe aSourceIt the expression is a literal, its value is returned, otherwise Nothing