fiddling with types