module Generics.SOP.Sing
  (
    module Data.SOP.Sing
  ) where

import Data.SOP.Sing