-- | Partial data family module Calamity.Types.Partial (Partial) where data family Partial t