- propositional logic <-> static types (?) what is the corresponding logic of typeclass? and, what is base constructs?