[ComputerGuru]

You are mixing type declarations and values. Foo equals bar is not a constraint that can be specified via the type system (generally speaking).