optionalSigEquality s (Just t) t' = do
  _ <- equalTypes s t' t
  pure ()
optionalSigEquality s (Just t) t' = do
  _ <- equalTypes s t' t
  pure ()
optionalSigEquality s (Just t) t' = do
  _ <- equalTypes s t' t
  pure ()