Seems impossible to write down a type signature for code that takes a singleton, converts it back to a value, and compares it with another input value. http://stackoverflow.com/questions/36256557/what-is-the-type-of-matches-m-s-m-fromsing-s#



OMG, I wrote working, valid, and indeed guaranteed correct at compile time haskell code that has no known type.