It sort of should I think. In Idris I believe closed type families just use regular function syntax, can be declared inside of let-bindings, have type signatures themselves, and otherwise syntactically behave just like the value level equivalents. I'm hoping at some point goldfire's dependent Haskell work will eventually lead to the same in Haskell, though I know from his comments on reddit that this is very far off from being a reality. Daniel Trstenjak-2 wrote
But with this point of view 'type Sequence t = [t]' is also somehow bogus and should just be 'Sequence t = [t]'.
Greetings, Daniel _______________________________________________ Haskell-Cafe mailing list
Haskell-Cafe@
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
-- View this message in context: http://haskell.1045720.n5.nabble.com/an-idea-for-modifiyng-data-newtype-synt... Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.