WIP: some experiments with static checks on the set's bound; deriving *has property* doesn't work for records so far