module T10618 where

foo = Just $ Nothing <> Nothing