[:~: (* -> *) Maybe (Either ())]