boring

boring copied to clipboard

phadej

Add singletons

4

It may be too heavy a dependency, but ```haskell import Data.Singletons (Sing, SingI (..)) instance SingI a => Boring (Sing a) where boring = sing ```

treeowl