Sat Jul 7 15:54:25 EDT 2018

Named ports

myhdl is parameterized by ports
the node type is opaque, so a name could be attached that way.

myhdl :: (Eq n, Show n) => [Op n] -> [(n, Expr n)] -> MyHDL
myhdl ports bindings = _

ports comes from SeqTerm.compile

So at any point where just the abstract syntax is provided, a list of
port names using the TH hack can be provided as well.

Solve this through a type class.
EDIT: Ok, got it.