I need to type `ProposedSolution.Type` twice but I...

# announcements

[buremba]

I need to type ProposedSolution.Type twice but It looks like this is the only way to keep the type info at runtime, am i right?